- множества LR[k]-таблиц
- Programming: sets of LR[k] tables (в теории синтаксического анализа, перевода и компиляции)
Универсальный русско-английский словарь. Академик.ру. 2011.
множества LR[k]-таблиц
Смотреть что такое "множества LR[k]-таблиц" в других словарях:
АНАЛИТИЧЕСКИХ ТАБЛИЦ МЕТОД — АНАЛИТИЧЕСКИХ ТАБЛИЦ МЕТОД разрешающий метод для проблемы общезначимости формул классической, интуиционистской и модальной (система S4) логики высказываний. В сочетании с некоторыми дополнительными приемами этот метод применим и для… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Статистика теоретическая — наука, занимающаяся изучением приемов систематического наблюдения над массовыми явлениями социальной жизни человека, составления численных их описаний и научной обработки этих описаний. Таким образом, теоретическая статистика есть наука… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
АРИФМЕТИКА — искусство вычислений, производимых с положительными действительными числами. Краткая история арифметики. С глубокой древности работа с числами подразделялась на две различные области: одна касалась непосредственно свойств чисел, другая была… … Энциклопедия Кольера
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Прогноз — (Forecast) Определение прогноза, задачи и принципы прогнозирования Определение прогноза, задачи и принципы прогнозирования, методы прогнозирования Содержание Содержание Определение Основные понятия прогностики Задачи и принципы прогнозирования… … Энциклопедия инвестора
Математика — I. Определение предмета математики, связь с другими науками и техникой. Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира. «Чистая … Большая советская энциклопедия
Полный перебор — У этого термина существуют и другие значения, см. Перебор. Полный перебор (или метод «грубой силы», англ. brute force) метод решения математических задач. Относится к классу методов поиска решения исчерпыванием всевозможных… … Википедия
Контрольные таблицы (списки) — Основная статья: Оценка программ Под контрольными таблицами (контрольными списками, англ. checklists) подразумевается список факторов, свойств, параметров, аспектов, компонентов, критериев или задач, структурированных особым образом с целью… … Википедия
Контрольный список — (перечень, таблица, карта; англ. checklist) список факторов, свойств, параметров, аспектов, компонентов, критериев или задач, структурированных особым образом с целью достижения поставленных задач. Содержание 1 Общая характеристика… … Википедия
ДЕМОГРАФИЯ — (от греч. demos народ и grapho пишу), наука о закономерностях воспроиз ва нас. в обществ. историч. обусловленности этого процесса. Термин Д. появился в 1855 в названии книги франц. учёного А. Гийяра Элементы статистики человека, или Сравнительная … Демографический энциклопедический словарь
